(define a
  (let ((x 1)
	(y 2))
    (local-syntax foo (lambda (exp env)
			(syntax-quote x))
		  (let ((x 7))
		    (print (foo))))))
